退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:RV-android:高效参数化android运行时验证,简要教程
Philip Daian; Patrick Meredith; Traian Florin Şerbănuţă; Akihito Iwai; Grigore Rosu;
机译:Android-SRV:Android应用程序的基于场景的运行时验证
机译:参数运行时验证是NP完整和coNP完整的
机译:使用布尔表达式的参数形式进行基于符号模拟的高效验证
机译:RV-Android:高效的参数化Android运行时验证,简要教程
机译:适用于Android操作系统的上下文感知运行时引擎
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:在Android RunTime(ART)中加载库图像时增强随机性
机译:生成验证元数据并验证基于验证元数据的运行时类型
机译:生成验证元数据并基于验证元数据验证运行时类型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。